79 research outputs found
Core congestion is inherent in hyperbolic networks
We investigate the impact the negative curvature has on the traffic
congestion in large-scale networks. We prove that every Gromov hyperbolic
network admits a core, thus answering in the positive a conjecture by
Jonckheere, Lou, Bonahon, and Baryshnikov, Internet Mathematics, 7 (2011) which
is based on the experimental observation by Narayan and Saniee, Physical Review
E, 84 (2011) that real-world networks with small hyperbolicity have a core
congestion. Namely, we prove that for every subset of vertices of a
-hyperbolic graph there exists a vertex of such that the
disk of radius centered at intercepts at least
one half of the total flow between all pairs of vertices of , where the flow
between two vertices is carried by geodesic (or quasi-geodesic)
-paths. A set intercepts the flow between two nodes and if
intersect every shortest path between and . Differently from what
was conjectured by Jonckheere et al., we show that is not (and cannot be)
the center of mass of but is a node close to the median of in the
so-called injective hull of . In case of non-uniform traffic between nodes
of (in this case, the unit flow exists only between certain pairs of nodes
of defined by a commodity graph ), we prove a primal-dual result showing
that for any the size of a -multi-core (i.e., the number
of disks of radius ) intercepting all pairs of is upper bounded by
the maximum number of pairwise -apart pairs of
Un algorithme pour le déploiement des réseaux FTTH
International audienceLe problème de déploiement optimal d'un réseau FTTH (Fiber To The Home) consiste à concevoir un plan d'installation de fibres optiques de coût minimal permettant de connecter un ensemble de clients à un noeud de raccordement via un ensemble de coupleur. Nous présentons une modélisation de ce problème basée sur le concept de flot avec multiplicateurs et nous montrons comment obtenir par génération de colonnes une solution optimale fractionnaire du programme linéaire correspondant. Cette approche nécessite de résoudre à chaque itération un problème de plus court chemin généralisé multi-contraint. Pour cela, nous décrivons un algorithme pseudo-polynomial qui généralise au cas avec multiplicateurs l'algorithme de plus court chemin multi-contraint introduit dans [DS88]
Medians in median graphs and their cube complexes in linear time
The median of a set of vertices of a graph is the set of all vertices
of minimizing the sum of distances from to all vertices of . In
this paper, we present a linear time algorithm to compute medians in median
graphs, improving over the existing quadratic time algorithm. We also present a
linear time algorithm to compute medians in the -cube complexes
associated with median graphs. Median graphs constitute the principal class of
graphs investigated in metric graph theory and have a rich geometric and
combinatorial structure, due to their bijections with CAT(0) cube complexes and
domains of event structures. Our algorithm is based on the majority rule
characterization of medians in median graphs and on a fast computation of
parallelism classes of edges (-classes or hyperplanes) via
Lexicographic Breadth First Search (LexBFS). To prove the correctness of our
algorithm, we show that any LexBFS ordering of the vertices of satisfies
the following fellow traveler property of independent interest: the parents of
any two adjacent vertices of are also adjacent. Using the fast computation
of the -classes, we also compute the Wiener index (total distance) of
in linear time and the distance matrix in optimal quadratic time
Cop and robber games when the robber can hide and ride
International audienceIn the classical cop and robber game, two players, the cop C and the robber R, move alternatively along edges of a finite graph G = (V , E). The cop captures the robber if both players are on the same vertex at the same moment of time. A graph G is called cop win if the cop always captures the robber after a finite number of steps. Nowakowski, Winkler (1983) and Quilliot (1983) characterized the cop-win graphs as dismantlable graphs. In this talk, we will characterize in a similar way the class CWFR(s, s′ ) of cop-win graphs in the game in which the cop and the robber move at different speeds s′ and s, s′ ≤ s. We also establish some connections between cop-win graphs for this game with s′ 1. We characterize the graphs which are k-winnable for any value of k
Isometric path complexity of graphs
A set of isometric paths of a graph is "-rooted", where is a
vertex of , if is one of the end-vertices of all the isometric paths in
. The isometric path complexity of a graph , denoted by , is the
minimum integer such that there exists a vertex satisfying the
following property: the vertices of any isometric path of can be
covered by many -rooted isometric paths.
First, we provide an -time algorithm to compute the isometric path
complexity of a graph with vertices and edges. Then we show that the
isometric path complexity remains bounded for graphs in three seemingly
unrelated graph classes, namely, hyperbolic graphs, (theta, prism,
pyramid)-free graphs, and outerstring graphs. Hyperbolic graphs are extensively
studied in Metric Graph Theory. The class of (theta, prism, pyramid)-free
graphs are extensively studied in Structural Graph Theory, e.g. in the context
of the Strong Perfect Graph Theorem. The class of outerstring graphs is studied
in Geometric Graph Theory and Computational Geometry. Our results also show
that the distance functions of these (structurally) different graph classes are
more similar than previously thought.
There is a direct algorithmic consequence of having small isometric path
complexity. Specifically, we show that if the isometric path complexity of a
graph is bounded by a constant, then there exists a polynomial-time
constant-factor approximation algorithm for ISOMETRIC PATH COVER, whose
objective is to cover all vertices of a graph with a minimum number of
isometric paths. This applies to all the above graph classes.Comment: A preliminary version appeared in the proceedings of the MFCS 2023
conferenc
The Maximum Labeled Path Problem
International audienceIn this paper, we study the approximability of the Maximum Labeled Path problem: given a vertex-labeled directed acyclic graph D, find a path in D that collects a maximum number of distinct labels. For any epsilon > 0, we provide a polynomial time approximation algorithm that computes a solution of value at least OPT^{1−epsilon) and a self-reduction showing that any constant ratio approximation algorithm for this problem can be converted into a PTAS. This last result, combined with the APX-hardness of the problem, shows that the problem cannot be approximated within any constant ratio unless P = NP
Embedding into the rectilinear plane in optimal O*(n^2)
We present an optimal O*(n^2) time algorithm for deciding if a metric space
(X,d) on n points can be isometrically embedded into the plane endowed with the
l_1-metric. It improves the O*(n^2 log^2 n) time algorithm of J. Edmonds
(2008). Together with some ingredients introduced by J. Edmonds, our algorithm
uses the concept of tight span and the injectivity of the l_1-plane. A
different O*(n^2) time algorithm was recently proposed by D. Eppstein (2009).Comment: 12 pages, 13 figure
Fast Approximation and Exact Computation of Negative Curvature Parameters of Graphs
In this paper, we study Gromov hyperbolicity and related parameters, that represent how close (locally) a metric space is to a tree from a metric point of view. The study of Gromov hyperbolicity for geodesic metric spaces can be reduced to the study of graph hyperbolicity. Our main contribution in this note is a new characterization of hyperbolicity for graphs (and for complete geodesic metric spaces). This characterization has algorithmic implications in the field of large-scale network analysis, which was one of our initial motivations. A sharp estimate of graph hyperbolicity is useful, {e.g.}, in embedding an undirected graph into hyperbolic space with minimum distortion [Verbeek and Suri, SoCG\u2714]. The hyperbolicity of a graph can be computed in polynomial-time, however it is unlikely that it can be done in subcubic time. This makes this parameter difficult to compute or to approximate on large graphs. Using our new characterization of graph hyperbolicity, we provide a simple factor 8 approximation algorithm for computing the hyperbolicity of an n-vertex graph G=(V,E) in optimal time O(n^2) (assuming that the input is the distance matrix of the graph). This algorithm leads to constant factor approximations of other graph-parameters related to hyperbolicity (thinness, slimness, and insize). We also present the first efficient algorithms for exact computation of these parameters. All of our algorithms can be used to approximate the hyperbolicity of a geodesic metric space
Fast approximation and exact computation of negative curvature parameters of graphs
In this paper, we study Gromov hyperbolicity and related parameters, that
represent how close (locally) a metric space is to a tree from a metric point
of view. The study of Gromov hyperbolicity for geodesic metric spaces can be
reduced to the study of graph hyperbolicity. The main contribution of this
paper is a new characterization of the hyperbolicity of graphs. This
characterization has algorithmic implications in the field of large-scale
network analysis. A sharp estimate of graph hyperbolicity is useful, e.g., in
embedding an undirected graph into hyperbolic space with minimum distortion
[Verbeek and Suri, SoCG'14]. The hyperbolicity of a graph can be computed in
polynomial-time, however it is unlikely that it can be done in subcubic time.
This makes this parameter difficult to compute or to approximate on large
graphs. Using our new characterization of graph hyperbolicity, we provide a
simple factor 8 approximation algorithm for computing the hyperbolicity of an
-vertex graph in optimal time (assuming that the input is
the distance matrix of the graph). This algorithm leads to constant factor
approximations of other graph-parameters related to hyperbolicity (thinness,
slimness, and insize). We also present the first efficient algorithms for exact
computation of these parameters. All of our algorithms can be used to
approximate the hyperbolicity of a geodesic metric space.
We also show that a similar characterization of hyperbolicity holds for all
geodesic metric spaces endowed with a geodesic spanning tree. Along the way, we
prove that any complete geodesic metric space has such a geodesic
spanning tree. We hope that this fundamental result can be useful in other
contexts
- …